ISETL (Interactive SET Language) is a variant of the SETL programming language widely used in discrete mathematics.
See also: ISETLW, (Interactive SET Language for Windows)